ordered binary decision diagram造句

例句与造句

1. ARC differs from FDR2 in that it internally represents CSP processes as Ordered Binary Decision Diagrams ( OBDDs ), which alleviates the state explosion problem of explicit LTS representations without requiring the use of state-space compression algorithms such as those used in FDR2.
2. It's difficult to find ordered binary decision diagram in a sentence. 用ordered binary decision diagram造句挺难的